Nuprl Definition : sqequal def 9,38
s ~ t is Primitive 
latex

Definitionss ~ t
FDL editor aliasessim

origin